Formalisation and Validation of the Std Logic 1164 and Numeric Std VHDL Packages using the NqthmTheorem

نویسندگان

  • Julia Dushina
  • Dominique Borrione
چکیده

When synthesizing complex digital circuits, it is extremely important to have high conndence in the library of components and functions. This paper deals with the validation of two standardized VHDL packages that were developed for circuit synthesis and which, at the same time, are compatible with enhanced multi-valued simulation tools. The Boyer-Moore theorem prover has been used for this purpose. The paper introduces an eecient and general strategy for utilizing the basic concepts of the Boyer-Moore system to prove the theorems that establish the mathematical properties of the package functions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Synthesizable Low Power VHDL Model of the Exact Solution of Three Dimensional Hyperbolic Positioning System

This paper presents a synthesizable low power VHDL model of a three-dimensional hyperbolic positioning system algorithm. The algorithm derives the equations needed to obtain an exact solution for the three dimensional location of a mobile given the locations of four fixed stations (like a GPS satellite or a base station in a cell) and the signal time of arrival (TOA) from the mobile to each sta...

متن کامل

Family Needs of Patients Admitted to the Intensive Care Units

 Background and aims: <span style="color: #221e1f; font-family: Optima LT Std,...

متن کامل

The Relationship Between Caesarean and Neonatal Hypothyroidism in Chadegan City

  Background and aims: <span style="color: #221e1f; font-family: Optima ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007